We propose an approach for themodeling and analysis of two connected traffic intersections based on Petri nets (PNs).We first use\na PN to model an isolated four-way signalized intersection; then we extend it to model two successive signalized intersections.We\nfind that this model has unbounded places, which in turn results in some confliction problems. Hence, we introduce the concept of\nmodified binary petri nets (MBPNs) to overcome the limitation and resolve the confliction problem when we design ourmodel and\nits controller. ThisMBPNmodel is a powerful tool and can be useful for themodeling and analysis of many other traffic applications.
Loading....